$integral dY$ max [ Y , max ( WORLDBATH bath ) ]